The transitive closure of a binary relation on a set is the smallest transitive relation that contains .
Often one wants the reflexive-transitive closure of , which is the smallest transitive relation that contains and is also reflexive.
These can be defined explicitly as follows: if and only if, for some natural number , there exists a sequence such that
If you accept as a natural number, then this defines the reflexive-transitive closure; if not, then this defines the transitive closure.
For the transitive closure, it's also possible to rephrase the above slightly (using only through ) to avoid any reference to equality. Thus prerelations have transitive closures but not necessarily reflexive-transitive closures.
In material set theory, the transitive closure of a pure set is the transitive set whose members are the elements of the downset of under the transitive closure (in the previous sense) of . That is, it consists of the members of , their members, their members, and so on. The result is a transitive set, the smallest transitive set that contains as a subset.
Analogously, the reflexive-transitive closure of may be defined as the transitive closure of the successor of , or equivalently the transitive closure of itself. Either way, this is the same as . This is the smallest transitive set that contains as a member. (It is not, however, normally a reflexive set; that is, it does not belong to itself.)
Last revised on November 21, 2017 at 19:08:58. See the history of this page for a list of all contributions to it.